1. Logics of Programs :
المؤلف: edited by Dexter Kozen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
2. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
المؤلف: edited by Dexter Kozen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
3. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
المؤلف: edited by Edmund Clarke and Dexter Kozen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
4. Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
المؤلف: edited by Edmund Clarke and Dexter Kozen
المکتبة: (طهران)
موضوع: Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
164
5. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
المؤلف: / Edited by Edmund Clarke, Dexter Kozen
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
